type XI - PDFSEARCH.IO - Document Search Engine

type XI
Results: 31

#	Item
11	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
12	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
13	Operating System Development with ATS Work in Progress Matthew Danish Hongwei Xi Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2010-01-25 12:25:56 Type theory Functional languages Data types Cross-platform software ATS C dynamic memory allocation Kernel C Type system Computing Software engineering Programming language theory
14	D12/S(HSS)/dNHS STANDARD CONTRACT FOR STICKLER SYNDROME DIAGNOSTIC SERVICE (CHILDREN) SECTION B PART 1 - SERVICE SPECIFICATIONS Service Specification No. Add to Reading List Source URL: www.england.nhs.uk Language: English - Date: 2014-08-12 08:03:59 NHS England Collagen disease Rheumatology Syndromes Collagen type XI alpha 1 Stickler syndrome NHS foundation trust NHS Constitution for England National Institute for Health and Clinical Excellence Health Medicine National Health Service
15	Combining Programming with Theorem Proving ∗ Chiyan Chen Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-07-08 10:54:24 Computing ATS Type safety Intuitionistic type theory Natural deduction Software engineering Programming language theory Type theory
16	A Simple and General Theoretical Account for Abstract Types? Hongwei Xi Boston University Abstract. A common approach to hiding implementation details is Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-06-27 22:37:34 Dependently typed programming Type theory Models of computation Height Infinite group theory Generalized algebraic data type Lambda calculus Normalisation by evaluation Theoretical computer science Software engineering Mathematics
17	Molecular Genetics Service Profile Stickler dysplasia Introduction ◊ ◊ Add to Reading List Source URL: www.esdn.org Language: English - Date: 2009-03-19 12:03:51 Collagen disease Collagen type XI alpha 1 Collagen type II alpha 1 COL11A2 Genetic testing Collagenopathy types II and XI Stickler syndrome Genetics Medicine Health
18	Tulane University Matrix DNA Diagnostics Lab FORM 1- Instructions for submission of specimen for DNA testing The patient should be fully informed about the test. Nature of the test/Methodology: The test detects mutations Add to Reading List Source URL: tulane.edu Language: English - Date: 2014-07-25 22:19:17 Congenital disorders Syndromes Rare diseases Genes Collagen type I alpha 1 Collagen type II alpha 1 Collagen type XI alpha 1 Platyspondylic lethal skeletal dysplasia Torrance type Stickler syndrome Health Medicine Collagen disease
19	Molecular Genetics Service Profile Marshall Syndrome Introduction ◊ ◊ Add to Reading List Source URL: www.esdn.org Language: English - Date: 2009-03-19 12:03:51 Rare diseases Collagen disease Collagen type XI alpha 1 Rheumatology Marshall syndrome Retinal Degeneration Mutation Health Syndromes Medicine
20	MOSQUITO STUDIES (DIPTERA, CULICIDAE). XI. MOSQUITOES ORIGINALLY DESCRIBED FROM ARGENTINA, BOLIVIA, CHILE, PARAGUAY, PERU, AND URUGUAY Add to Reading List Source URL: www.mosquitocatalog.org Language: English - Date: 2010-04-22 11:02:38 Anopheles Malaria Psorophora Bionomics Mosquito Casal Appendix Vergiliana Type Aeroparque Jorge Newbery Biology Poetry Literature